From f164d498810560322c9f3a3f801eace6ebc6c9e1 Mon Sep 17 00:00:00 2001 From: Feng Wu Date: Wed, 31 Aug 2016 18:13:47 +0200 Subject: [PATCH] passthrough: fix a BUG_ON issue The 'idx' can equal to the max number of vCPUs, fix it. Signed-off-by: Feng Wu Acked-by: Jan Beulich --- xen/drivers/passthrough/io.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xen/drivers/passthrough/io.c b/xen/drivers/passthrough/io.c index 9e6b46cd63..66577b6c44 100644 --- a/xen/drivers/passthrough/io.c +++ b/xen/drivers/passthrough/io.c @@ -243,7 +243,7 @@ static struct vcpu *vector_hashing_dest(const struct domain *d, for ( i = 0; i <= mod; i++ ) { idx = find_next_bit(dest_vcpu_bitmap, d->max_vcpus, idx) + 1; - BUG_ON(idx >= d->max_vcpus); + BUG_ON(idx > d->max_vcpus); } dest = d->vcpu[idx - 1]; -- 2.30.2